<?php
/* dummy include*/
include(dirname(__FILE__)."/get_included_files_inc1.inc");
?>
